popover menu: Improved labeled separators
authorMatthias Clasen <mclasen@redhat.com>
Wed, 1 Jun 2016 15:52:20 +0000 (11:52 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 1 Jun 2016 15:52:20 +0000 (11:52 -0400)
commitf3f64d17c2451d2a4f002cf3941e5dc53887cec8
treeb75dba0053ba372bd4c2b9197e292435ecb329fb
parentbb6cce4e6f9452280b09ad41513bb9c748b6b9cc
popover menu: Improved labeled separators

Embed the label in the middle of the separators instead of
putting it above the separator.

https://bugzilla.gnome.org/show_bug.cgi?id=767108
gtk/gtkmenusectionbox.c